#!/bin/csh -f
if ( $# != 2 ) then
    echo "Usage : find_keys d04|mkdeco|fig|dfit opt|key|prag"
    exit
endif
if (! -e $DECAHOME/SRC/$1.help ) then
    echo "File $DECAHOME/SRC/$1.help not found"
    exit
endif
awk -f $DECAHOME/SRC/find_keys.awk $DECAHOME/SRC/$1.help $2
##

